Nuprl Lemma : bfalse_wf
13,42
postcript
pdf
ff
latex
Up
bool
1
,
bool
1
Definitions
ff
,
,
t
T
Lemmas
unit
wf
,
it
wf
origin
T